/*
 *      TypeSafeTwoOperandILToken.java
 *
 *      Copyright 2008 Pablo Nicolas Diaz Bilotto <pablonicolas.diaz@gmail.com>
 *
 *      This program is free software; you can redistribute it and/or modify
 *      it under the terms of the GNU General Public License as published by
 *      the Free Software Foundation; either version 2 of the License, or
 *      (at your option) any later version.
 *
 *      This program is distributed in the hope that it will be useful,
 *      but WITHOUT ANY WARRANTY; without even the implied warranty of
 *      MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 *      GNU General Public License for more details.
 *
 *      You should have received a copy of the GNU General Public License
 *      along with this program; if not, write to the Free Software
 *      Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston,
 *      MA 02110-1301, USA.
 */
package ilanguage.iltokens.operations;

import ilanguage.iltokens.IL_SSA;
import lexer.EntryType;


/**
 * The Class TypeSafeTwoOperandILToken.
 */
public abstract class TypeSafeTwoOperandIL_SSA extends TwoOperandIL_SSA {

	/**
	 * Instantiates a new type safe two operand il token.
	 *
	 * @param firstToken the first token
	 * @param secToken the sec token
	 */
	public TypeSafeTwoOperandIL_SSA(final IL_SSA firstToken,
			final IL_SSA secToken) {
		super(firstToken, secToken);
	}

	/*
	 * (non-Javadoc)
	 *
	 * @see ilanguage.TwoOperandILToken#solveTypes()
	 */
	public EntryType solveTypes() {
		if (!super.isDiscartable()) {
            return EntryType.F(getFirstArg().solveTypes(),
            		getSecondArg().solveTypes());
		} else {
			return EntryType.NOTYPE;
		}
	}

	@Override
	public boolean isDiscartable() {
		return this.solveTypes() == EntryType.NOTYPE ;
	}


}
